Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
271	Journal of Web Engineering, Vol. 0, No–000 c Rinton Press The Static Absorbing Model for the Weba Add to Reading List Source URL: terrierteam.dcs.gla.ac.uk Language: English - Date: 2010-03-05 12:05:34 Markov models Probability theory Probability Statistics Markov chain PageRank Bayesian network Random walk Stochastic matrix Matrix Automatic summarization Discrete phase-type distribution
272	Chapter 11 Revenge, IForms of revenge It is hard enough to find a satisfying response to the paradoxes, but the phenomenon of revenge can make it seem impossible. In the simplest manifestation of revenge - call it Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-23 12:20:06 Philosophy Logic Abstraction Predicate logic Theories of truth Semantics Philosophical logic Model theory Liar paradox Saul Kripke Truth Interpretation
273	Fluid Approximation for Stochastic Model Checking Jane Hillston joint work with Luca Bortolussi Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-11-02 11:12:32 Probability theory Stochastic processes Statistics Probability Markov models Markov processes Statistical models Stochastic simulation Markov chain Fluid queue Economic model Stochastic
274	On the sustainable program in Solow’s model∗ Cees Withagen† Geir B. Asheim‡ Wolfgang Buchholz§ November 30, 2006 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2006-12-01 11:40:18 Mathematical optimization Optimal control Mathematics Mathematical analysis Ordinary differential equations Spectral theory Operator theory Matrix theory
275	StableRegularisedLDSfinal.dvi Add to Reading List Source URL: www.gatsby.ucl.ac.uk Language: English - Date: 2014-10-13 19:51:19 Statistics Estimation theory Statistical theory Maximum likelihood estimation Expectationmaximization algorithm Variational Bayesian methods Linear regression Autoregressive model Mixture model
276	P UBLICATIONS C HRISTOPH M. K IRSCH www.cs.uni-salzburg.at/∼ck C ONFERENCE AND W ORKSHOP PAPERS Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English - Date: 2016-07-18 08:27:08 Software engineering Programming language theory Theoretical computer science Index Search engine indexing Actor model ALGOL 68 Symposium on Logic in Computer Science
277	OPERADIC CATEGORIES, A∞ -CATEGORIES AND n-CATEGORIES J.P. MAY When I offered to talk here, I asked myself if I had something suitable for a nice short 20 minute talk, and sent in an abstract about “cores of spaces an Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2001-08-18 17:54:26 Algebra Mathematics Abstract algebra Category theory Homotopy theory Algebraic topology Highly structured ring spectrum Operad theory A-operad Enriched category Model category Functor
278	Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard CETIC Research Center, Charleroi, Belgium {yoann.guyot, renaud.delandtsheer, christop Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:41:20 Logic Abstraction Philosophy Metalogic Mathematical proofs Interlocking Theorem Theory Railway signalling Model theory Domain-specific language Rodin tool
279	445 Documenta Math. Motivic Symmetric Spectra J. F. Jardine Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2001-01-23 03:50:27 Homotopy theory Mathematics Abstract algebra Algebra Model category Simplicial presheaf Simplicial set A homotopy theory Weak equivalence Fibration Motivic cohomology Kan fibration
280	Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic Mathematical logic Mathematics Automated theorem proving Logic programming Model theory Formal languages Type theory Unification Structure Substitution Symbol

UPDATE